Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
131	Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science Failure Materials science Reliability engineering Survival analysis DO-178B Exception handling Formal verification Software development process KeY Software development
132	A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Lattice theory Lie groups Data mining Formal concept analysis Machine learning Ontology Complete lattice Lattice Object-oriented programming Algebraic structure Software design pattern Object Process Methodology
133	Paper Title (use style: paper title) Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2013-02-12 19:07:42 Statistical classification Formal sciences Control theory Cybernetics Linear discriminant analysis Process variation Linear classifier
134	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
135	PDF Document Add to Reading List Source URL: en.sceco.umontreal.ca Language: English - Date: 2015-09-25 14:10:50 Statistical inference Econometrics Regression analysis Formal sciences Computational statistics Bootstrapping Resampling Statistics Prediction interval Linear regression Economic model Universit de Montral
136	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
137	DOC Document Add to Reading List Source URL: www.cma.zju.edu.cn Language: English - Date: 2013-05-27 01:34:24 Formal sciences Management Regression analysis Econometrics Linear regression Social science Operations research Educational technology Statistics Quantitative analyst Economics Strategic management
138	How to improve disambiguation in POS tagged data with CLaRK sys Add to Reading List Source URL: bultreebank.org Language: English - Date: 2003-12-07 17:04:29 Formal languages Lexical analysis Syntax Formal grammar Regular expression Phrase Regular grammar XPath
139	Noname manuscript No. (will be inserted by the editor) Concept Similarity and Related Categories in Information Retrieval using Formal Concept Analysis Frithjof Dau · Jon Ducrou · Peter Eklund Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:16:19 Machine learning Data mining Lattice theory Formal concept analysis Ontology Search algorithms Nearest neighbor search Concept Lattice Information retrieval Relevance Implication
140	Special Session on Evolutionary Machine Learning for Image Analysis and Pattern Recognition Organisers:  Muhammad Iqbal School of Engineering and Computer Science, Victoria University of Wellington, New Zealand. Email Add to Reading List Source URL: www.ies-2016.org Language: English - Date: 2016-05-19 03:43:44 Machine learning Formal sciences Evolution Evolutionary computation Computer science Pattern recognition IEEE Transactions on Evolutionary Computation Statistical classification Feature extraction Book:Machine Learning The Complete Guide Outline of evolution

UPDATE